Nuprl Definition : m-sys-at
0,22
postcript
pdf
@
i
:
A
(
j
) == if
j
=
i
A
else fi
latex
Definitions
,
a
=
b
,
if
b
t
else
f
fi
FDL editor aliases
m-sys-at
origin
A else fi A else fi t else f fi